(define a1 (lambda (x) x))
(define a2 (lambda (x) (lambda (y) x)))
(define a3 (lambda (x) (lambda (y) y)))
(define a4 (lambda (x) (lambda (y) (lambda (x) x))))
(define a5 (lambda (x) (lambda (y) (lambda (x) y))))

